
// Source File Name:   SET_RTO_PQ.java

package com.sunwayhorizo.health.hl7.datatypes;

import java.util.Set;

//            ANY, RTO_PQ, BL, INT,
//            ST, IVL_RTO_PQ

public interface SET_RTO_PQ
    extends ANY
{

    public static final String RCS_ID = "$Header: SET_RTO_PQ.java 1.0 2006/08/10 11:59:00 mmoores noship $";

    public abstract BL contains(RTO_PQ rto_pq);

    public abstract BL isEmpty();

    public abstract BL notEmpty();

    public abstract BL contains(SET_RTO_PQ set_rto_pq);

    public abstract INT cardinality();

    public abstract SET_RTO_PQ union(SET_RTO_PQ set_rto_pq);

    public abstract SET_RTO_PQ union(RTO_PQ rto_pq);

    public abstract SET_RTO_PQ except(RTO_PQ rto_pq);

    public abstract SET_RTO_PQ except(SET_RTO_PQ set_rto_pq);

    public abstract SET_RTO_PQ intersection(SET_RTO_PQ set_rto_pq);

    public abstract ST literal();

    public abstract IVL_RTO_PQ hull();

    public abstract Set toSet();
}
